computability logic中文是什么意思

发音:

中文翻译
造句

可计算性逻辑

logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
computability 可计算性; 可算性
abacus computability 算盘可计算性
characterization of computability 可计算性刻划
computability theory 可计算性理论
feasible computability 可行计算性; 可行可计算性
partial computability 部分可计算性
practical computability 实用可计算性
turing computability 图灵机可计算性
equivalent definitions of computability 可计算性的等价定义
-logic -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
and logic “与”逻辑
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
logic-and 逻辑“与”
or logic 或逻辑
active logic 有源逻辑
actuating logic 执行逻辑
adaptive logic 适应性逻辑（电脑）; 自适应逻辑
affective logic 情感逻辑
algebra and logic 代数与逻辑
algebra of logic 逻辑代数
algebraic logic 代数逻辑
algorithm logic 运算逻辑
algorithmic logic 算法逻辑
alternating logic 交替逻辑

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

百科解释

Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".

详细百科解释

推荐英语阅读

computability logic的中文翻译，computability logic是什么意思，怎么用汉语翻译computability logic，computability logic的中文意思，computability logic的中文，computability logic in Chinese，computability logic的中文，computability logic怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。